constant-factor syntax support depends on scala 3.4 (?) about coulomb HOT 1 OPEN

package coulomb.ops.syntax.coef

object all:
    export int.*
    export double.*

object int:
    extension(v: Int)
        inline def *[V, U](q: Quantity[V, U])(using
            vc: ValueConversion[Int, V],
            alg: MultiplicativeSemigroup[V]
        ): Quantity[V, U] =
            alg.times(vc(v), q.value).withUnit[U]

        transparent inline def /[V, U](q: Quantity[V, U])(using
            vc: ValueConversion[Int, V],
            alg: MultiplicativeGroup[V],
            su: SimplifiedUnit[1 / U]
        ): Quantity[V, su.UO] =
            alg.div(vc(v), q.value).withUnit[su.UO]

    extension[V, U](q: Quantity[V, U])
        inline def *(v: Int)(using
            vc: ValueConversion[Int, V],
            alg: MultiplicativeSemigroup[V]
        ): Quantity[V, U] =
            alg.times(q.value, vc(v)).withUnit[U]
 
        transparent inline def /(v: Int)(using
            vc: ValueConversion[Int, V],
            alg: MultiplicativeGroup[V]
        ): Quantity[V, U] =
            alg.div(q.value, vc(v)).withUnit[U]

object double:
    extension(v: Double)
        inline def *[V, U](q: Quantity[V, U])(using
            vc: ValueConversion[Double, V],
            alg: MultiplicativeSemigroup[V]
        ): Quantity[V, U] =
            alg.times(vc(v), q.value).withUnit[U]

    extension[V, U](q: Quantity[V, U])
        inline def *(v: Double)(using
            vc: ValueConversion[Double, V],
            alg: MultiplicativeSemigroup[V]
        ): Quantity[V, U] =
            alg.times(q.value, vc(v)).withUnit[U]