1--TEST--
2Bug #71201 round() segfault on 64-bit builds
3--FILE--
4<?php
5echo round(1.0, -2147483648), "\n";
6?>
7--EXPECT--
80
9