added separate Int type (for less conversion)