added extension. changed to precise64