Xronos support for 64bit unsigned integers?

[robstewart57]

Xronos happily compiles this actor, which uses an unsigned 64bit integer:

actor CastActor() uint(size=32) In ==> uint(size=32) Out :
my_action: action In:[a] ==> Out:[d]
  var
    uint(size=32) b,
    uint(size=64) c,
    uint(size=32) d
  do
    b := 8;
    c := a * b;
    d := c / 8;
  end
end

Compiler output:

6:22:17 PM: Orcc backend done.
6:23:41 PM: *********************************************************************************
6:23:41 PM: * Orcc version:   2.3.1.qualifier
6:23:41 PM: * Backend:        Xronos Verilog
6:23:41 PM: * Project:        64bit-cast-test
6:23:41 PM: * Network:        xdf.TopNetwork
6:23:41 PM: * Output folder:  /home/me/foo/64bit-casting/vgen
6:23:41 PM: *********************************************************************************
6:23:41 PM: Export libraries sources into /home/me/foo/64bit-casting/vgen/lib... 
6:23:41 PM: Library export done in 0.092s
6:23:41 PM: Network validation
6:23:41 PM: Network generation
6:23:41 PM: Generating Instances...
6:23:41 PM: -------------------------------------------------------------------------------
6:23:41 PM: NOTE: Actors to be generated: 1
6:23:41 PM: -------------------------------------------------------------------------------
6:23:41 PM: Compiling instance: CastActor (1/1)
6:23:42 PM:      - Compiled in: 1.09s
6:23:42 PM: *******************************************************************************
6:23:42 PM: Xronos done in 1.211s
6:23:42 PM: Generating Network...
6:23:42 PM: Generating Testbenches...
6:23:42 PM: Done in 1.408s. Result: 0 file(s) written - 0 file(s) cached
6:23:42 PM: Children generation
6:23:42 PM: Done in 0.0s. Result: 0 file(s) written - 0 file(s) cached
6:23:42 PM: Orcc backend done.

Can I take from that that the Verilog backend with Xronos does support unsigned 64bit integers?