[math] use double in ecef_of_lla_d