Use precise64 instead