proper_f and strip_leading_zeros are ok
done
remove unnecessary strips