Implement FormatReal for ExecContexts