This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
http://lists.w3.org/Archives/Public/www-style/2012Feb/1331.html
reassign to myself; apparently i am not the default assignee for this component
https://dvcs.w3.org/hg/csswg/rev/94a0f1e1ded9 I used double instead of float. I also changed the few instances that already used float to double.