use extended-reals and data-interval-1.0.*