HomeIsabelle/Phabricator

genRTSCallFastGeneraltoFloat is now an extended operation.