Numerals are always positive, else wrap in uminus