M07 Low Power: Fixed-point refinement, a guaranteed approach towards energy efficient computing