<?php $val = 0x1 << 32; echo $val."\n"; (float)$val = (float)0x1 << 32; echo $val;
You have javascript disabled. You will not be able to edit any code.