python fixed point number format