Use precise64 as the default box