Integer constructors are really casts too.