---
cases:
  - note: typebuiltin/is_number
    query: data.generated.p = x
    modules:
      - |
        package generated

        p := [x, y, z] if {
        	is_number(-42.0, x)
        	is_number(0, y)
        	is_number(100.1, z)
        }
    data: {}
    want_result:
      - x:
          - true
          - true
          - true
