run2_scala-numeric-precision
Enhanced numeric tokenization with BigDecimal and precision in Scala.
- License 许可
- MIT
- 最近更新
- 2026-10-02
- Stars
- ★ 92
- Forks
- 7
01 前言 Front Matter
- name
- run2_scala-numeric-precision
- description
- Enhanced numeric tokenization with BigDecimal and precision in Scala.
03 SKILL.md 正文
Numeric Precision in Scala
Scala BigDecimal is robust for financial and precision calculations.
Formatting with Precision
def formatValue(value: Any, precision: Int): String = value match {
case d: BigDecimal => s"%.${precision}f".format(d)
case d: Double => s"%.${precision}f".format(d)
case d: Float => s"%.${precision}f".format(d)
case bi: BigInt => bi.toString
case _ => value.toString
}
Scala Math Features
BigDecimal(str)orBigDecimal(double)- Precision can be set using
math.BigDecimal.RoundingModeif necessary. - In the tokenizer context, string formatting is usually sufficient.
04 同仓库更多 Skills
object_counter
Count occurrences of an object in the image using computer vision algorithm.
travel-planning-workflow
Invoke this skill when performing travel planning. It defines a structured workflow for generating itineraries. Following this workflow is essential to ensure the final plan satisfies user requirements.
bundled-dataset-search-tool
invoke this skill when you need to perform database search for travel planning. This skill provides some useful pre-packaged tools to look up accommodations, attractions, cities, driving distance, flights, and restaurants from the bundled dataset.
glm-output
Output-processing guidance for GLM tasks. Especially useful after glm-basics and glm-calibration when you need verifier-matching metrics from output.nc and a final /root/metrics.json.
glm-calibration
Calibration guidance for GLM tasks. Often most effective after glm-basics has clarified the setup; glm-output is the companion skill for exact final metric computation.
glm-basics
A good starting point for GLM calibration tasks. Use to inspect glm3.nml, confirm how GLM runs, and identify the relevant files before moving on to calibration and output evaluation.