Question: what is the default type for a floating point constant
[{'answer': 'binary64', 'provenance': [{'wikipedia_id': '53734', 'title': 'Double-precision floating-point format', 'start_paragraph_id': 3, 'start_character': 85, 'end_paragraph_id': 3, 'end_character': 93, 'bleu_score': 1.0, 'section': 'Section::::Abstract.'}]}]