def mysql_trim_float(f):
    s = str(f)
    return float(s.split('.')[0] + '.' + s.split('.')[-1][:14])