minor bugfix when the domain is convertible to integer