Eclipse modifies .gitignore.
Fix bugs in the Math stuff.