typed code forms a float bound✕ ___