Dependencies for extended-reals-0.2.4.0

library