Add explanatory comment for why hex float literals use 64 bits.