another take on the 32bit problem