external dWorldGetERP : dWorldID -> float = "ocamlode_dWorldGetERP"