<dependency>
  <groupId>io.circe</groupId>
  <artifactId>circe-numbers_sjs1_2.12</artifactId>
  <version>0.13.0</version>
</dependency>

implementation 'io.circe:circe-numbers_sjs1_2.12:0.13.0'

implementation("io.circe:circe-numbers_sjs1_2.12:0.13.0")

libraryDependencies += "io.circe" % "circe-numbers_sjs1_2.12" % "0.13.0"

@Grapes(
  @Grab(group='io.circe', module='circe-numbers_sjs1_2.12', version='0.13.0')
)

<dependency org="io.circe" name="circe-numbers_sjs1_2.12" rev="0.13.0" />

[io.circe/circe-numbers_sjs1_2.12 "0.13.0"]

'io.circe:circe-numbers_sjs1_2.12:jar:0.13.0'