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