support fallback concrete types for abstract number types

support fallback concrete types for abstract number types #14