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