Version 0.1.1
	
	* Now floats have an integer-representation. Hence you can 
	write "10" instead of "10.0".
	* Fixed some minor bugs in documentation.
