lat_dot or dlat or delta_lat? I think if we're being verbose delta_lat is clearer? but I appreciate lat_dot makes it a time derivative which is nice too.