def get_os_release():
    return re.match('[\d.]+', platform.release()).group(0)
Based on wikipedia.  
dataset/ETHPy150Open veegee/amqpy/amqpy/support/monotonic.py/get_os_release--crossover with--dataset/ETHPy150Open bolme/pyvision/src/pyvision/surveillance/kalman.py/KalmanFilter.__init__