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