Are you sure you want to delete the comment We used decimals, however…?

Any replies to this comment will be lost. This action cannot be undone.
Cancel