Si lo que necesitas es redondear quizás te interese un artículo que apareció el otro dia en
developers.slashdot.com,
un artículo sobre algoritmos de redondeo, en inglés claro, interesante más que nada para ver la cantidad de tipos de redondeo que existen... muy curioso, sin duda...