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