It is indeed a decimal escape: https://ocaml.org/manual/5.2/lex.html#char-literal