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