>>> format(integer, '0>42b')
'001010101111000001001000111110111111111111'