Peter Salvi's Statistics library from clml