## Notes on arithmetic bugs