sort: omit unnecessary casts