See also "[PHP-DEV] Digit separators for numeric literals" from Feb, 19th.
- [PHP-DEV] [RFC] Number Format Separator Thomas Punt
- Re: [PHP-DEV] [RFC] Number Format Separator Davey Shafik
- Re: [PHP-DEV] [RFC] Number Format Separator Alain Williams
- Re: [PHP-DEV] [RFC] Number Format Separator Dan Ackroyd
- Re: [PHP-DEV] [RFC] Number Format Separator Michael Wallner
- Re: [PHP-DEV] [RFC] Number Format Separator Andrea Faulds
- RE: [PHP-DEV] [RFC] Number Format Separator Thomas Punt
- Re: [PHP-DEV] [RFC] Number Format Separator Christoph Becker
- RE: [PHP-DEV] [RFC] Number Format Separator Thomas Punt
