catala/tests/test_dec/infinite_precision.catala
2020-12-09 16:45:23 +01:00

15 lines
303 B
Plaintext

@Article@
/*
new scope A:
param x content dec
param y content dec
param z content dec
param a content dec
scope A:
def x := 84.64866565265689623
def y := -. 4.36829778705320654980
def z := 654265429805103220650980650.5705405106540
def a := x /. y *. (x +. y) *. (x *. x *. z *. z)
*/