Make a frequency distribution. USAGE: awk -f FREQ_DIST.awk [input_file]

FREQ_DIST.awk

#!/bin/awk -f

{
    if(binsize <= 0) exit

    if($1 < 0){
        frequency[int($1 / binsize) - 1] ++
    }else{
        frequency[int($1 / binsize)] ++
    }
}
END{
    for(i in frequency){
        printf("%10s %15.8f\n", i * binsize, (frequency[i]/NR)) | "sort -n"
    }
}