[Merged by Bors] - feat(data/real/basic): add real.supr_nonneg
etc
#6608
The logs for this run have expired and are no longer available.
Loading
real.supr_nonneg
etc
#6608