Describir: Experimental number theory