Python Binary Fixed Point