There's no bad math, alpha isn't taken into account for color calculation. By the way, the bit(s) you think is dedicated to alpha isn't for alpha, just some skipped bit(s) in order to have equal length RGB channel. This is tricky, but the question is clear and good.
About #25 and others, I...