// BUG: Insufficient bits for numeric value