unit FLOP

@metric_prefixes
@aliases(FLOPS: both)
unit FLOPS = FLOP / second

@aliases(cores)
unit core

unit cycle

let flop = 16 FLOP / core / cycle
let num_cores = 12 cores
let clock_rate: Cycle / Time = 3.5 GHz cycle

let speed = flop × clock_rate × num_cores -> GFLOPS
print(speed)