I'd be fine with just using `double`. I don't see why we need these typedefs at all.