A floating point type is characterised by its (decimal) digits which state the minimal precision requested.
type Distance is digits 8; Earth : Distance := 40_075.017;