Re: malloc and alignment

[Richard Stallman]

    In all three cases, malloc (or memalign) itself does not use up much
    extra memory (in the case of memalign, it uses up a lot of memory
    if we memalign (16384) which is why I only memalign (16380).

    The actual number of bytes per float used up in the three cases is:
    - 12.14
    - 8.74
    - 8.26

With those ratios, I'd say it is efficient enough, for cons cells too.
Please install your changes.