Assertion: double | /r/HasProperty | guaranteed
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