fixed-point: converted denormalise_bands()