Introduce frames, use correct_roundoff