There isn’t a BigDecimal proposal anywhere, the authors are just making it clear that their proposal is limited to integers.
Why? I find it so weird there still is no BigDecimal in JavaScript.
[0] https://docs.google.com/presentation/d/1jPsw7EGsS6BW59_BDRu9...
[1] https://github.com/tc39/proposals/blob/master/stage-0-propos...
[2] https://github.com/rwaldron/tc39-notes/blob/b8da60318b564f13...