[ocaml] add Pprz.Double for settings