Additions to precise64