paying notes float free

float weight less than float bound less✕