Add QuickCheck tests for NumberFormat