Add a test which exercises float -> uint64 assignment a bit more
Try to tweak the linux32 gcc workaround