[
  (builtins.div 9 3)
  (builtins.div 7 1)
  (builtins.div 3 9)
  (builtins.div 4 4)
  (builtins.div 1 2)
  (builtins.div 1.0 2)
  (builtins.div 1 2.0)
  (builtins.div 1.0 2.0)
]