Can you make ``type="int"`` here?