I've found the description of floating point types (here), but I'm looking for the rationale of the output format, particularly with respect to total digits presented (variable in a single select's output) and the dropping of a trailing zero (to some implying a loss of precision). Is the code my only guide here?