remove Int type, always use Float