Use precise64 box