probability code snippets in php

get a normally distributed random number in php