avoid int/Int issue in v0.4