Question: what is the default type for a floating point constant?
Answer: binary64