Most of type casts are specified.