Heights are now double precision floats (#13334)

Change-Id: Id9e1dd4b4a480dd512f3dd78fde2f9a0256087e9