higher bound for the

function in lining code base

import a float from✕