[sqrt17]

round() is specifically about rounding to decimal places, and there are other, faster functions for the more common cases