$number = int(1);
By Richard Chipper, 2017-12-14 08:22:23