Talk:Continuity/@comment-84.56.5.111-20130610152018

are decimals rounded up  / down?