mjtNum обычно double, если не определён mjUSESINGLE, в этом случае это float.
Источник: Документация Mujoco по mjtNum и исходный код mjtnum.h
Check out similar posts by category:
Mujoco
If this post helped you, please consider buying me a coffee or donating via PayPal to support research & publishing of new posts on TechOverflow