num::real

Defined in header <core/types.hpp>

using real = double;

The floating-point type of every real quantity, double.