a number spinner for GUI apps, inspired by After Effects