En la práctica se suele usar esta última solución o directamente redondear o truncar el número.