Initial support for real-valued arithmetic