float precision revision to 9 and 17