Assertion: double | /r/CapableOf | provide less precision
Facets:
Source sentences:
text: Thus, we can see long double is guaranteed only to provide no less precision than double (i.e. it would be correct of your compiler