Enforce existence of upgraded real type in div* functions