Because it is hexadecimal, the part behind the dot is also hexadecimal. So 0.4 is not \frac{4}{10}, it is \frac{4}{16} = 0.25. So giving it an exponent of p-1 (in this case p is base 2) is dividing by 2, yielding 0.125.
1 Like