issue#5: Integer bootstrap.