Maple precision related domains (1)