using namespace Cedar::Doubles to avoid repetition