Number of digits to the right of the decimal points in reports created by to_s

Defaults to 4.

Property definitions

performance_analysis $ PerfMap :: precision
	# Number of digits to the right of the decimal points in reports created by `to_s`
	#
	# Defaults to 4.
	var precision = 4 is writable
lib/performance_analysis/performance_analysis.nit:63,2--66,30