Fix 5○, 6○ and 7○ on real arguments.