don't require the presence of __getformat__ or __setformat__; use requires_IEEE_754 globally
1 file changed