1--TEST--
2Bug #31442 (unserialize broken on 64-bit systems)
3--INI--
4precision=14
5--FILE--
6<?php
7echo unserialize(serialize(2147483648));
8?>
9--EXPECT--
102147483648
11