Numeric types

Numeric types used in Derby.