Python 删除小数精度而不是舍入

我对使用python删除十进制精度的解决方案感到非常困惑

例如，我有以下号码：

9.1234567891235-->浮点型

我只想要小数点后的9位数字。不是四舍五入

最终结果也应该是浮动

我已经找到了一些解决办法。但要直接击中这一点

请引导我使用我可以使用的函数

---

谢谢

这对您有用吗：

num = 9.1234567891235
print(float("%.9f" % num))
# 9.123456789

---

如果你不想去的话。把它转换成字符串，去掉剩下的小数怎么样。Python中有一个很好的库，用于安全地处理小数，我认为这篇文章可能很有用：这里有一个小的加法，我所在的环境是Jython。因此，我得到了以下错误类型错误：需要浮点参数，而不是java.math.BigDecimalthis@ArunSunderraj在Jython 2.7中对我有效。你也可以

a= 9.1234567891235

def round_down(a, decimals):
    return round(a - 0.5 * 10**(-decimals), decimals)

round_down(a, decimals=9)
9.123456789