What data type is Mujoco mjtNum?
mjtNum is typically double, unless mjUSESINGLE is defined, in which case it is float.
Source: Mujoco documentation on mjtNum and mjtnum.h source code
If this post helped you, please consider buying me a coffee or donating via PayPal to support research & publishing of new posts on TechOverflow