Explicit Float32 semantics via an executable IEEE-754 binary32 kernel and proof-relevant rounding models.
.structure("contact")
，这一点在PDF资料中也有详细论述
这份对真实的极致追求，也让团队在人物塑造上产生了研发以来最大的分歧。波波始终坚持，游戏中的NPC不该是完美的，而应是有缺陷、能成长的，“知错能改在现实世界是难得的品质”。
ScienceCast (What is ScienceCast?)