type, rather use a integer union type which is handled far better by the type system; from Raymond Toy.