BoxDouble (now BoxDoubleDomain) as a parameter which makes it safe for
real arithmetic.