float -> exn -> 'Uq_engines_compat.engine -> ['a] Uq_engines_compat.engine