Export json_to_val and handle real values