Rigorous floating-point calculations via interval arithmetic