bootstrap: expand Numbers into Integer code