Bash split textfile by percentage

Split: how to split into different percentages? - Unix & Linux Stack Exchange:

split -l $[ $(wc -l filename|cut -d" " -f1) * 70 / 100 ] filename 

This creates files called xaa and xab and works fine for my purposes.

POSIX standard for shells/utilities

Introduction - TIL that head doesn’t really follow them