chiark / gitweb /
apply floor to n_over_best