higher bound for the

function in lining code base

import a float a✕