If I am not too wrong, the correct implementation needs to append bit '1' and fill with zeros