Updated to precise64