BlockGeneration: casting Int