mathlib

f8dadb5c - refactor(data/real/basic): make real a structure