Support large numbers on 32-bit PHP systems