Sql Floating Point Division Algorithm