numberformatter should be decimalstyle even for ints