diff --git a/src/mlw/ocaml_printer.ml b/src/mlw/ocaml_printer.ml
index 4dbc4f0a38a9d087f484566463300ffe354b8436..0cfbf75447fd137872b8f44b1c45f72733b95228 100644
--- a/src/mlw/ocaml_printer.ml
+++ b/src/mlw/ocaml_printer.ml
@@ -434,6 +434,8 @@ module Print = struct
           | _ -> assert false in
         (match query_syntax info.info_literal id with
          | Some s -> syntax_arguments s print_constant fmt [e]
+         | None when n = "0" -> fprintf fmt "Z.zero"
+         | None when n = "1" -> fprintf fmt "Z.one"
          | None   -> fprintf fmt (protect_on paren "Z.of_string \"%s\"") n)
     | Evar pvs ->
         (print_lident info) fmt (pv_name pvs)