Translate float-functions in usr_41.jax