using precise64 box instead.