precise64 works again
small changes