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